Logical Bilattices and Inconsistent Data
نویسندگان
چکیده
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting. In the present paper we develop proof systems, which correspond to bilattices in an essential way. We then show how to use those bilattices for ef-cient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozin-skii concerning inconsistencies, which happen to suit well the framework of bilattices. The outcome is a paraconsistent logic with a lot of desirable properties.
منابع مشابه
Reasoning with Logical Bilattices
The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for eecient inferences from possibly inconsistent data. For this we inco...
متن کاملBilattices with Implications
In a previous work we studied, from the perspective of Abstract Algebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice l...
متن کاملThe logic of distributive bilattices
Bilattices, introduced by Ginsberg [26] as a uniform framework for inference in Artificial Intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron [3] developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the we...
متن کاملThe Value of the Four Values
In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras. Speciically, w...
متن کاملBilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations
We propose a family of intuitionistic bilattices with full truth-knowledge duality (D-bilattices) for a logic programming. The first family of perfect D-bilattices is composed by Boolean algebras with even number of atoms: the simplest of them, based on intuitionistic truth-functionally complete extension of Belnap’s 4-valued bilattice, can be used in paraconsistent programming, that is, for kn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994